Program implementation schemes for hardware-software systems

Software and Hardware Implementation of Lattice-Cased Cryptography Schemes

Hardware and Software Systems

Logical errors in finite-state concurrent systems such as sequential circuit designs and communication protocols are an important problem for computer scientists. They can delay getting a new product on the market or cause the failure of some critical device that is already in use. My research group has developed a verification method called temporal logic model checking for this class of syste...

Partitioning Program into Hardware and Software

Hardware and software co-design is a design technique which delivers computer systems comprising hardware and software components. A critical phase of codesign process is to decompose a program into hardware and software. This paper proposes an algebraic partitioning method whose correctness is verified in the algebra of programs. We introduce the program analysis phase before program partition...

Hardware/Software Codesign for FPGA-based Systems

A new codesign compiler, Dash, provides a co-synthesis and co-simulation environment for mixed FPGA/processor architectures. It compiles a C-like description to a solution containing both processors and custom hardware, and allows the descriptions of FPGA-based processors to be heavily parametrised. The user may add instructions to the processors, and the Dash software architecture allows the u...

System Level Modelling for Hardware/Software Systems

Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisation of a working system is expanding rapidly. To manage complexity and to shorten design cycles, industry is forced to look at system level languages towards specification and design. In this paper we report on the sys...